English translation for "first order predicate logic"

一阶谓词逻辑

Related Translations:

predicated:  断言的断定的

predicate:  n.1.【语法】谓语，述语。2.【逻辑学】谓项，述项，述词，宾词。3.本质；属性。adj.谓语的，述语的；谓项的，述项的。vt.1.论断，断言；断定…为某物的属性；断定某物有…的属性 (about; of)。2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。3.宣言，宣布，声明。4.意味着，具有…的含义。5.【语法】表述。vi.断言 (of)。 Can

predicates:  谓词

predicate noun:  谓语性名词

diophantine predicate:  刁番图谓词

analytic predicate:  解析谓词

actional predicate:  动作谓语

predicate calculu:  谓词演算

compound predicate:  复合谓语

factive predicate:  叙述性谓词

Example Sentences:

	1.	A model representation method based on first order predicate logic 一种基于一阶谓词逻辑的模型表示方法
	2.	With the tool of first order predicate logic , this paper demonstrates that there theoretically exists a winning strategy for games which have two players and end after a fixed number moves to get one ' s win and the other ' s loss 摘要用一阶谓词逻辑的工具证明，那种有两方参与，根据规则在有限步内能确定胜负的游戏，从理论上说，存在必胜的方法。

Similar Words：

"first order phase transformation" English translation, "first order phase transition" English translation, "first order pll" English translation, "first order pole" English translation, "first order predicate calculus" English translation, "first order pressure gradient microphone" English translation, "first order prism" English translation, "first order rate process" English translation, "first order reaction" English translation, "first order reaction kinetics" English translation